Covariant Spectator Theory: Foundations and Applications
نویسندگان
چکیده
منابع مشابه
Spectator Theory of Gravity
Exact black hole and cosmological solutions are obtained for a special two-dimensional dilaton-spectator (φ − ψ) theory of gravity. We show how in this context any desired spacetime behaviour can be determined by an appropriate choice of a dilaton potential function V (φ) and a " coupling function " l(φ) in the action. We illustrate several black hole solutions as examples. In particular, asymp...
متن کاملDeep Inelastic Structure Functions in a Covariant Spectator Model
Deep-inelastic structure functions are studied within a covariant scalar diquark spectator model of the nucleon. Treating the target as a two-body bound state of a quark and a scalar diquark, the Bethe-Salpeter equation (BSE) for the bound state vertex function is solved in the ladder approximation. The valence quark distribution is discussed in terms of the solutions of the BSE. PACS numbers: ...
متن کاملFoundations and Applications of Higher-Dimensional Directed Type Theory
Intuitionistic type theory [43] is an expressive formalism that unifies mathematics and computation. A central concept is the propositions-as-types principle, according to which propositions are interpreted as types, and proofs of a proposition are interpreted as programs of the associated type. Mathematical propositions are thereby to be understood as specifications, or problem descriptions, t...
متن کاملFoundations and Applications of Higher-Dimensional Directed Type Theory
Intuitionistic type theory [43] is an expressive formalism that unifies mathematics and computation. A central concept is the propositions-as-types principle, according to which propositions are interpreted as types, and proofs of a proposition are interpreted as programs of the associated type. Mathematical propositions are thereby to be understood as specifications, or problem descriptions, t...
متن کاملSatisfiability Modulo the Theory of Costs: Foundations and Applications
We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and multiple cost functions, e.g., battery, time, and space. We define a decision procedure that has all the features required for the integration withint the lazy SMT schema: incrementality, backtrackability, construction of confl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Few-Body Systems
سال: 2010
ISSN: 0177-7963,1432-5411
DOI: 10.1007/s00601-010-0105-9